MsgFrom($i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$m$:Msg$\mid$ source(mlnk($m$)) $=$ $i$ \}